241. Algebraic methodology and software technolog
پدیدآورنده : / Josae Meseguer, Grigore Ro?su (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Software engineering--Congresses,Abstract data types (Computer science)--Congresses,Electronic books.
242. Algebraic methodology and software technolog : 6th international conference, AMAST'97 Sydney, Australia, December 13-17, 1997 : proceedings
پدیدآورنده : Michael Johnson )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1349
243. Algebraic methodology and software technology :
پدیدآورنده : AMAST '93. M. Nivat ... (ed.). Publ. in collab. with the British Computer Society
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Abstract data types (Computer science) -- Congresses,Software engineering -- Congresses,Softwareentwicklung
244. Algebraic methodology and software technology
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ; Abstract data types (Computer science) ; Congresses. ; Abstract data types (Computer science) ; fast ; (OCoLC)fst00794745. ; Software engineering. ; fast ; (OCoLC)fst01124185. ; Algebraische Methode. ; swd. ; Softwaree
245. Algebraic methodology and software technology :
پدیدآورنده : Michael Johnson, Dusko Pavlovic (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Abstract data types (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
758
.
I58
2011
246. Algebraic methodology and software technology : 7th International Conference, AMAST'99, Amazonia, Brazil, January 4-8, 1999 : proceedings
پدیدآورنده : Armando Martin Haeberer )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1548
247. Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings
پدیدآورنده : Martin Wirsing, Maurice Nivat )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1101
248. Algebraic methodology and software technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings
پدیدآورنده : Charles Rattray, Savitri Maharaj, Carron Shankland )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
3116
249. Algebraic methodology and software technology : 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings
پدیدآورنده : Teodor Rus )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1816
250. Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings
پدیدآورنده : Helene Kirchner, Christophe Ringeissen )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
2422
251. Algebraic specifications in software engineering: An introduction
پدیدآورنده : Ivo Van Horebeek, Johan Lewi
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Software engineering,Abstract data type (Computer science)
رده :
QA
،
76
,.
758
،.
H67
،
1989
252. Algorithm Engineering
پدیدآورنده : / Hannemann, Stefan Schirra-llerیMatthias M
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
253. Algorithmic Puzzles
پدیدآورنده : / Anany Levitin
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
254. Algorithmische Sprache und Programmentwicklung
پدیدآورنده : von Friedrich L. Bauer, Hans Wössner.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Software engineering.
رده :
QA76
.
6
V664
1984
255. Algorithms
پدیدآورنده : / Robert Sedgewick, Kevin Wayne
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
256. Algorithms For Interviews
پدیدآورنده : / Adnan Aziz, Amit Prakash
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
257. Algorithms, Probability, Networks, and Games
پدیدآورنده : / Christos Zaroliagis, Grammati Pantziou, Spyros Kontogiannis
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
258. Algorithms, Software and Hardware of Parallel Computers
پدیدآورنده : edited by Jozef Mikloško, Vadim Evgenich Kotov.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Software engineering.
رده :
QA76
.
6
E358
1984
259. Algorithms and Architectures for Parallel Processing
پدیدآورنده : / Rocco Aversa, Joanna Koodziej, Jun Zhang, Flora Amato, Giancarlo Fortino
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
260. Algorithms and Architectures for Parallel Processing
پدیدآورنده : / he Sun, Wenyu Qu, Ivan Stojmenovic, Wanlei Zhou, Zhiyang Li, Hua Guo, Geyong Min, Tingting Yang, Yulei Wu, Lei Liu-Xian
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
